SOLID Principles In Practice With Python And UML Examples in 2025
hackernoon.com·17h
💧Liquid Types
A safer C++ pointer class
techblog.rosemanlabs.com·14h·
Discuss: Hacker News
🔒Type Safety
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·2d
✅Format Verification
Dependent types I › Universes, or types of types
jonmsterling.com·1d·
Discuss: Hacker News
🔤Type Theory
It’s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blog·1d
🌳Archive Merkle Trees
Introducing TypeKro
yehudacohen.substack.com·1d·
Discuss: Substack
🏠Homelab Orchestration
On Joining the Mojo Compiler Team
verdagon.dev·7h·
Discuss: Hacker News
🎯Gradual Typing
chronicle - idiomatic, type safe event sourcing framework for Go
reddit.com·7h·
Discuss: r/golang
🔐CBOR
How To Structure Your Application Like An Artisan
blog.codeminer42.com·10h
🐚Shell Calculus
Building an AI-Powered Domain Name Generator: Technical Deep Dive
dev.to·6h·
Discuss: DEV
⚡Proof Automation
Prompt Engineering for Grok Code Fast 1
docs.x.ai·1h·
Discuss: Hacker News
🌳Incremental Parsing
Simple Smalltalk Testing: With Patterns (1994)
web.archive.org·9h·
Discuss: Lobsters, r/programming
🧪Property-Based Testing
A Review of Nim 2: The Good and Bad with Example Code
miguel-martin.com·1h·
Discuss: Hacker News
🦀Rust Macros
🪄 Scopes, Closures, and Decorators in Python: A Deep Dive Adventure
dev.to·9h·
Discuss: DEV
⬆️Lambda Lifting
Stable, Mutable References for Ante
antelang.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
ReST-RL: Achieving Accurate Code Reasoning of LLMs with Optimized Self-Training and Decoding
arxiv.org·20h
💻Local LLMs
Stop Guessing and Start GOing: Cleaner Golang Decompilation in IDA 9.2
hex-rays.com·7h
🔧Binary Parsers
It's a Trap - Reliable Exploitation of CVE-2024-30084
scrapco.de·16h
🎯NTLM Attacks
Inside Zig's New Writer
joegm.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Status Update: August 2025
joshleeb.com·1d
🧩WASM Components